Merge pull request #1539 from antonio-nino-diaz-arm/an/gic-misra
authorDimitris Papastamos <[email protected]>
Thu, 30 Aug 2018 15:08:25 +0000 (16:08 +0100)
committerGitHub <[email protected]>
Thu, 30 Aug 2018 15:08:25 +0000 (16:08 +0100)
MISRA fixes for the GIC driver


Trivial merge